Model transformation language - PDFSEARCH.IO - Document Search Engine

Model transformation language
Results: 109

#	Item
11	Towards Rigorously Faking Bidirectional Model Transformations Christopher M. Poskitt1? , Mike Dodds2 , Richard F. Paige2 , and Arend Rensink3 1 Department of Computer Science, ETH Z¨urich, Switzerland Add to Reading List Source URL: se.inf.ethz.ch Language: English - Date: 2014-09-01 11:29:33 Systems engineering Graph rewriting Unified Modeling Language Model transformation Data transformation Model checking Mathematical logic
12	UML and OCL Transformation Model Analysis: Checking Invariant Independence Martin Gogolla, Frank Hilken Database Systems Group, University of Bremen, Germany {gogolla\|fhilken}@informatik.uni-bremen.de Add to Reading List Source URL: www.db.informatik.uni-bremen.de Language: English - Date: 2015-09-13 11:11:13 Unified Modeling Language Systems engineering Scientific modeling ECO Model-driven architecture Metamodeling Entityrelationship model Invariant Model transformation Class diagram Object Constraint Language Executable UML
13	Checking Transformation Model Properties with a UML and OCL Model Validator Martin Gogolla, Lars Hamann, Frank Hilken Database Systems Group, University of Bremen, Germany {gogolla\|lhamann\|fhilken}@informatik.uni-bremen. Add to Reading List Source URL: www.db.informatik.uni-bremen.de Language: English - Date: 2014-05-13 01:59:22 Unified Modeling Language Systems engineering Relational model ECO Database Model transformation Metamodeling Class diagram
14	Transformation of UML and OCL Models into Filmstrip Models? Frank Hilken, Lars Hamann, and Martin Gogolla University of Bremen {fhilken,lhamann,gogolla}@informatik.uni-bremen.de Add to Reading List Source URL: www.db.informatik.uni-bremen.de Language: English - Date: 2014-12-03 03:38:11 Unified Modeling Language ISO standards Object Constraint Language ECO Object Process Methodology Object diagram Class diagram Postcondition Design by contract Sequence diagram Conceptual model
15	CALL FOR PAPERS — PEPM’10 ACM SIGPLAN 2010 Workshop on Partial Evaluation and Program Manipulation Madrid, January 18–19, 2010 (Affiliated with POPL’10) Add to Reading List Source URL: www.program-transformation.org Language: English - Date: 2013-06-07 05:22:45 Computing Software engineering Computer science Evaluation strategy Incremental computing Partial evaluation Symposium on Principles of Programming Languages Association for Computing Machinery Domain-specific language Actor model
16	Iterative Development of Transformation Models by Using Classifying Terms (short paper) Frank Hilken1 Loli Burgueño2 Add to Reading List Source URL: www.db.informatik.uni-bremen.de Language: English - Date: 2015-09-13 11:14:12 Unified Modeling Language Systems engineering Engineering Systems science Software engineering Model transformation Model theory Metamodeling Object Process Methodology Scientific modelling
17	Model Repair and Transformation with Echo Nuno Macedo, Tiago Guimar˜aes, Alcino Cunha HASLAB — High Assurance Software Laboratory INESC TEC & Universidade do Minho, Braga, Portugal {nfmmacedo,tguimaraes,alcino}@di.umi Add to Reading List Source URL: alfa.di.uminho.pt Language: English - Date: 2014-11-03 12:05:19 Unified Modeling Language Systems engineering Software engineering Computing Systems science Object Constraint Language Metamodeling Model-driven architecture Platform-specific model Object Process Methodology MMT QVT
18	PDF Document Add to Reading List Source URL: alfa.di.uminho.pt Language: English - Date: 2014-11-03 12:05:44 Unified Modeling Language Systems engineering Metamodeling QVT Model-driven engineering Entityrelationship model Object Constraint Language ATLAS Transformation Language
19	Harvesting Software Systems for MDA-Based Reengineering Thijs Reus1 , Hans Geers2 , and Arie van Deursen3 1 3 Add to Reading List Source URL: www.st.ewi.tudelft.nl Language: English - Date: 2009-11-26 15:59:20 Model-driven architecture Meta-Object Facility XML Metadata Interchange Metamodeling Object Management Group Java Metadata Interface Eclipse Modeling Framework ATLAS Transformation Language VIATRA Unified Modeling Language Software engineering Software
20	ATL Transformation: Feature Models for representing runtime variability in BIS to Business Process Model Notation∗ Ildefonso Montero, Joaquín Peña, Antonio Ruiz-Cortés Departamento de Lenguajes y Sistemas Informáti Add to Reading List Source URL: www.isa.us.es Language: English - Date: 2010-10-29 07:43:58 Systems engineering Systems science Business Process Model and Notation Diagrams Business Process Execution Language Business process modeling Context-free grammar B1 B2 Process management Management Design

UPDATE